L. V. Woodcock (auth.) : rechercher sur Z-Library

Campagne de collecte 15 septembre 2024 – 1 octobre 2024 C'est quoi, la collecte de fonds?

Libre accès à la connaissance et à la culture.

Campagne de collecte 15 septembre 2024 – 1 octobre 2024

Z-Library est une des plus grandes bibliothèques en ligne dans le monde, avec le stockage de plus de 17,000,000 livres et plus de 84,837,000 articles. Nous encourageons l'accès libre de chacun à la littérature. Aujourd'hui (15 septembre 2024) nous faisons un appel de fonds à tous ceux qui veulent contribuer encore plus au soutien et au développement de notre projet.

Les téléchargements SANS LIMITE sont aussi (au cours de 31 jours après la date de don) disponibles pour TOUS les utilisateurs qui soient en mesure de soutenir le projet pendant la période de collecte de fonds jusqu'au 1 octobre 2024.

C'est quoi, la collecte de fonds?En savoir plus

Livres (48)
Les plus populaires
Liste
- Liste
- Tableau

1

Bulk Solids Handling: An Introduction to the Practice and Technology

Bulk Solids Handling: An Introduction to the Practice and Technology

C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE (auth.), C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE, J. S. Mason BSc, PhD, CEng, FIMechE, FIMarE, MIMinE (eds.)

Année:

1987

Langue:

english

Fichier:

PDF, 11.14 MB

0 / 0

english, 1987

2

Advances in Molten Salt Chemistry: Volume 3

Advances in Molten Salt Chemistry: Volume 3

L. V. Woodcock (auth.), J. Braunstein, Gleb Mamantov, G. P. Smith (eds.)

Année:

1975

Langue:

english

Fichier:

PDF, 12.84 MB

0 / 0

english, 1975

3

20th-Century Fiction

20th-Century Fiction

Palgrave Macmillan UK

George Woodcock (auth.)

Année:

1983

Langue:

english

Fichier:

PDF, 80.39 MB

0 / 0

english, 1983

4

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

Année:

2003

Langue:

english

Fichier:

PDF, 5.79 MB

0 / 0

english, 2003

5

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 11.33 MB

0 / 0

english, 1999

6

Theory and Practice of Blood Flow Measurement

Theory and Practice of Blood Flow Measurement

Butterworth-Heinemann

John P. Woodcock (Auth.)

Année:

1975

Langue:

english

Fichier:

PDF, 6.16 MB

0 / 0

english, 1975

7

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 1.86 MB

0 / 0

english, 2007

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 5.37 MB

0 / 0

english, 2007

9

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 4.29 MB

0 / 0

english, 2007

10

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 6.60 MB

0 / 0

english, 2007

11

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.)

Année:

1993

Langue:

english

Fichier:

DJVU, 6.15 MB

0 / 0

english, 1993

12

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Année:

1993

Langue:

english

Fichier:

DJVU, 2.44 MB

0 / 0

english, 1993

13

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 4.56 MB

0 / 0

english, 2010

14

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 7.82 MB

0 / 0

english, 2007

15

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 3.55 MB

0 / 5.0

english, 2009

16

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Année:

1993

Langue:

english

Fichier:

PDF, 15.34 MB

0 / 0

english, 1993

17

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 5.30 MB

0 / 0

english, 2013

18

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 4.63 MB

0 / 0

english, 2010

19

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 14.06 MB

0 / 0

english, 1999

20

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Année:

2010

Langue:

english

Fichier:

PDF, 5.03 MB

0 / 0

english, 2010

21

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Année:

2009

Langue:

english

Fichier:

PDF, 7.15 MB

0 / 0

english, 2009

22

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Steinkopff-Verlag Heidelberg

Prof. Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. G. Kober, Prof. Dr. med. M. Kaltenbach (eds.)

Année:

1983

Langue:

german

Fichier:

PDF, 6.08 MB

0 / 0

german, 1983

23

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 5.32 MB

0 / 0

english, 2013

24

Bulk Solids Handling: An Introduction to the Practice and Technology

Bulk Solids Handling: An Introduction to the Practice and Technology

Springer Netherlands

C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE, J. S. Mason BSc, PhD, CEng, FIMechE, FIMarE, MIMinE (auth.)

Année:

1988

Langue:

english

Fichier:

PDF, 14.89 MB

0 / 0

english, 1988

25

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Springer International Publishing

John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)

Année:

2014

Langue:

english

Fichier:

PDF, 9.09 MB

0 / 0

english, 2014

26

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Année:

1974

Langue:

english

Fichier:

DJVU, 4.77 MB

0 / 0

english, 1974

27

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 3.01 MB

0 / 0

english, 2013

28

Collaborative Design: Proceedings of CoDesigning 2000

Collaborative Design: Proceedings of CoDesigning 2000

Springer-Verlag London

E. B.-N. Sanders (auth.), Stephen A. R. Scrivener DipAD, HDFA, PhD, Linden J. Ball BSc, PhD, Andrée Woodcock BSc, MSc (eds.)

Année:

2000

Langue:

english

Fichier:

PDF, 26.59 MB

0 / 0

english, 2000

29

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 10.75 MB

0 / 0

english, 1999

30

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Vieweg+Teubner Verlag

N. Rietbrock (auth.), Norbert Rietbrock, Barry G. Woodcock, A. Horst Staib, Dieter Loew (eds.)

Année:

1987

Langue:

english

Fichier:

PDF, 2.44 MB

0 / 0

english, 1987

31

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)

Année:

2006

Langue:

english

Fichier:

PDF, 3.00 MB

0 / 0

english, 2006

32

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 5.34 MB

0 / 0

english, 2013

33

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 7.65 MB

0 / 0

english, 2008

34

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)

Année:

1996

Langue:

english

Fichier:

DJVU, 6.04 MB

0 / 0

english, 1996

35

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Année:

1974

Langue:

english

Fichier:

PDF, 10.80 MB

0 / 0

english, 1974

36

Nitrates and Nitrate Tolerance in Angina Pectoris

Nitrates and Nitrate Tolerance in Angina Pectoris

Steinkopff-Verlag Heidelberg

Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. M. Kaltenbach, Prof. Dr. med. G. Kober (eds.)

Année:

1983

Langue:

english

Fichier:

PDF, 4.13 MB

0 / 0

english, 1983

37

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Springer-Verlag London

P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock (auth.), J. E. Nicholls MA (eds.)

Année:

1991

Langue:

english

Fichier:

PDF, 13.00 MB

0 / 0

english, 1991

38

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 4.73 MB

0 / 0

english, 2013

39

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)

Année:

2013

Langue:

english

Fichier:

PDF, 2.19 MB

0 / 0

english, 2013

40

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Année:

2007

Langue:

english

Fichier:

PDF, 6.33 MB

0 / 0

english, 2007

41

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Vieweg+Teubner Verlag

Norbert Rietbrock, Barry G. Woodcock (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Année:

1987

Langue:

german

Fichier:

PDF, 4.82 MB

0 / 0

german, 1987

42

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Vieweg+Teubner Verlag

J. K. Aronson (auth.), Norbert Rietbrock, Barry G. Woodcock, Günter Neuhaus (eds.)

Année:

1980

Langue:

german

Fichier:

PDF, 9.43 MB

0 / 0

german, 1980

43

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 3.09 MB

0 / 0

english, 2008

44

A Geometrical Study of the Elementary Catastrophes

A Geometrical Study of the Elementary Catastrophes

Springer-Verlag Berlin Heidelberg

A. E. R. Woodcock, T. Poston (auth.)

Année:

1974

Langue:

english

Fichier:

PDF, 5.74 MB

0 / 0

english, 1974

45

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Année:

1999

Langue:

english

Fichier:

PDF, 16.87 MB

0 / 0

english, 1999

46

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Vieweg+Teubner Verlag

N. Rietbrock, E. Habermann (auth.), Professor Dr. med. Norbert Rietbrock, Dr. Sen. Lect. Barry George Woodcock, Professor Dr. sc. med. A. Horst Staib (eds.)

Année:

1982

Langue:

german

Fichier:

PDF, 8.94 MB

0 / 0

german, 1982

47

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

John C. Reynolds (auth.), Natarajan Shankar, Jim Woodcock (eds.)

Année:

2008

Langue:

english

Fichier:

PDF, 3.67 MB

0 / 0

english, 2008

48

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Vieweg+Teubner Verlag

D. Palm (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Année:

1984

Langue:

english

Fichier:

PDF, 5.94 MB

0 / 0

english, 1984